Самая большая электронная библиотека рунета. Поиск книг и журналов

Computer Science Logic, 10 conf., CSL '96

Автор: , Автор:
Размер книги: 3.71 Mb

Typed Lambda Calculi and Applications, TLCA '93 1 conf

Автор: , Автор:
Размер книги: 3.80 Mb